<?php
  //include("top_links.inc");
  echo "<div style=\"position:relative; height: 450px;\">";
  include("top_links.inc");
  if (isset($_SESSION['valid_login'])) {
    $link = connect_to_db('', 'admin_xbq', 'nihao', 'test');
    $query = "select user_name from user where user_ID=".$_SESSION['user_id'].";";
    $result = mysql_query($query) or die('file_table Query failed: ' . mysql_error());
    $line = mysql_fetch_array($result, MYSQL_ASSOC);
    echo '<h3>Wellcome '.$line['user_name'].'! You logged in as a zav. kaf.</h3>';
?>
        <ul>
          Chose the opereation.
          <!--<li><a href="teacher.php">Teaching</a></li>-->
          <li><a href="manage.php">Management</a></li>
          <li><a href="monitor.php">Monitor</a></li>
          <li><a href="">Add and delete teacher</a></li>
        </ul>
<?
  }
  else {
    echo "Plesae <a href=\"frontpage.php\">log in</a>!";
  }
  echo "</div>";
?>
